منابع مشابه
Weaving Schauder frames
We extend the concept of weaving Hilbert space frames to the Banach space setting. Similar to frames in a Hilbert space, we show that for any two approximate Schauder frames for a Banach space, every weaving is an approximate Schauder frame if and only if there is a uniform constant C ≥ 1 such that every weaving is a C-approximate Schauder frame. We also study weaving Schauder bases, where it i...
متن کاملInteractions between Spider Silk and Cells – NIH/3T3 Fibroblasts Seeded on Miniature Weaving Frames
BACKGROUND Several materials have been used for tissue engineering purposes, since the ideal matrix depends on the desired tissue. Silk biomaterials have come to focus due to their great mechanical properties. As untreated silkworm silk has been found to be quite immunogenic, an alternative could be spider silk. Not only does it own unique mechanical properties, its biocompatibility has been sh...
متن کاملDeveloping a Model for Estimating Weaving and Non-Weaving Speed within Highways Weaving Segments (Tehran)
In weaving section due to a strong need for lane changing, a type of turbulence is created in traffic flow; so, the speedand the capacity of the weaving section decreases. Therefore, investigation of the weaving section is very important.However, due to shortage of the manual for urban principal arterials (highways), calibration of these models is necessary.One of these models...
متن کاملFrom Weaving Schemes to Weaving Patterns ∗
Coming out from the process functional paradigm and using PFL – a process functional language, a generalized approach to weaving at the micro-structural level is presented. Exploiting the application of processes and PFL reflection property, we develop a generalized weaving scheme and we express it in the form of weaving pattern. Different specializations and extensions of weaving patterns occu...
متن کاملProof Weaving
Mulhern Automated proof assistants provide few facilities for incremental development. Generally, if the underlying structures on which a proof is based are modified, the developer must redo much of the proof. Yet incremental development is really the most natural approach for proofs of programming language properties [5, 12]. We propose " proof weaving " , a technique that allows a proof devel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Operators and Matrices
سال: 2016
ISSN: 1846-3886
DOI: 10.7153/oam-10-61